Hartley Slater and False Contradictions

نویسنده

  • Jean-Yves Beziau
چکیده

In this note I say a few words about my interaction with the late Hartley Slater and his work. Si on appelle un chat un chat Cela évite les embrouilles Et on retombe toujours sur ses pattes Baron de Chambourcy 1 From Los Angeles to Helsinki: 20 years of friendship Barry Hartley Slater recently died (July 8, 2016). We are publishing in this issue of the South American Journal of Logic the paper “Gödel’s theorems and the epsilon calculus” that he submitted early this year [17]. His paper “The grammar of platonism” [16] was also recently published in another journal I am managing, Logica Universalis. I take this opportunity to write my interaction with him. I think that interaction is fundamental for research. It is in fact the motor of modern science in particular through peer-reviews and congresses. Internet has accelerated interaction at a speed close to light speed but it is still worth meeting and discussing with people in flesh and blood. My work has been influenced by the encounters with many strangers, Hartley is one them. I virtually met Hartley in 1995 in Los Angeles when I was doing a post-doc at UCLA. My first contact with him was when I was asked to write for Mathematical Review a review [2] of his paper entitled “Paraconsistent logics?” [15]. As I have explained in another paper entitled “The new rising of the square of opposition” [7], this was the starting point of my work on the square of opposition, generating many publications and a series of events: SQUARE – World Congress on the Square of opposition. Slater was invited speaker at the 2nd edition of the SQUARE which took place in June 2010 at the University Pasquale Paoli in Corsica. Below a picture where

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Paraconsistent Logics!

In this note I respond to Hartley Slater's argument [12] to the e ect that there is no such thing as paraconsistent logic. Slater's argument trades on the notion of contradictoriness in the attempt to show that the negation of paraconsistent logics is merely a subcontrary forming operator and not one which forms contradictories. I will show that Slater's argument fails, for two distinct reasons...

متن کامل

Finding and Solving Contradictions of False Positives in Virus Scanning

False positives are equally dangerous as false negatives. Ideally the false positive rate should remain 0 or very close to 0. Even a slightest increase in false positive rate is considered as undesirable. Although the specific methods provide very accurate scanning by comparing viruses with their exact signatures, they fail to detect the new and unknown viruses. On the other hand the generic me...

متن کامل

Harmonic Modeling of Inrush Current in Core Type Power Transformers Using Hartley Transform

This paper presents a new method for evaluation and simulation of inrush current in various transformers using operational matrices and Hartley transform. Unlike most of the previous works, time and frequency domain calculations are conducted simultaneously. Mathematical equations are first represented to compute the inrush current based on reiteration and then Hartley transform is used to stud...

متن کامل

Hartley Series Direct Method for Variational Problems

The computational method based on using the operational matrix of anorthogonal function for solving variational problems is computeroriented. In this approach, a truncated Hartley series together withthe operational matrix of integration and integration of the crossproduct of two cas vectors are used for finding the solution ofvariational problems. Two illustrative...

متن کامل

Avoiding Contradictions in the Paradoxes, the Halting Problem, and Diagonalization

The fundamental proposal in this article is that logical formulas of the form (f ↔ ¬f) are not contradictions, and that formulas of the form (t ↔ t) are not tautologies. Such formulas, wherever they appear in mathematics, are instead reason to conclude that f and t have a third truth value, different from true and false. These formulas are circular definitions of f and t. We can interpret the i...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2017